DEF=../imp
EXT=imp
TESTDIR=.
KOMPILE_BACKEND=llvm

include ../find-k.mak
include ${K_HOME}/include/kframework/ktest.mak
